CurryHoward correspondence - PDFSEARCH.IO - Document Search Engine

CurryHoward correspondence
Results: 45

#	Item
11	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
12	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Proof theory Mathematics Philosophy of mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Ordinal number Constructible universe Functor
13	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
14	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element
15	Free Theorems and “Real” Languages Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Universal algebra Constructible universe Type theory CurryHoward correspondence
16	Property-Driven Scenario Integration Jewgenij Botaschanjan and Alexander Harhurin Technische Universität München Department of Informatics Boltzmannstr. 3, 85748 Garching, Germany {botascha,harhurin}@in.tum.de Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Mathematics Constructible universe Net NC Proof theory Theoretical computer science Abstraction Ordinal numbers CurryHoward correspondence
17	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
18	The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2011-06-22 07:54:11 Logic Proof theory Mathematical logic Sequent Linear logic Cut-elimination theorem Noncommutative logic Rule of inference Soundness Natural deduction CurryHoward correspondence
19	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
20	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product